Cho a, b là hai số nguyên (b khác 0), khi đó tồn tại duy nhất hai số nguyên q, r sao cho a= bq+r với 0 ≤ r <|b|. Ta có a là số bị chia, b là số chia, q là thương số và r là số dư. Khi chia a cho b có thể có số dư là 0; 1; 2;...; |b|-1. (Ký hiệu |b| là giá trị tuyệt đối của b.)

Đặc biệt nếu r = 0 thì a = bq, khi đó a chia hết cho b.